Prop-NoMatch.agda:11,8-10
Cannot split on datatype in Prop unless target is in Prop
when checking that the pattern p₁ has type TestProp
